1. Buchi's monadic second order successor arithmetic
پدیدآورنده : Siefkes, Dirk
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Predicate calculus,، Sequential machine theory
رده :
QA
3
.
L28
no
.
120
2. Buchi's monadic second order successor arithmetic
پدیدآورنده : Siefkes, Dirk
موضوع : ، Predicate calculus,، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Buchi`s monadic second order successor arithmetic
پدیدآورنده : Siefkes
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Predicate calculus,Sequential machine theory
رده :
QA
3
.
L28
no
.
120
4. Finite automata, their algebras and grammars
پدیدآورنده : J. Richard Buchi ; Dirk Siefkes, editor,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Sequential machine theory
رده :
QA
.
S4B83
267
.
5
1989
5. Finite automata : their algebras and grammars : Towards a theory of formal expressions
پدیدآورنده : Buchi, J. Richard, 4291-4891
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Sequential machine theory
رده :
QA
267
.
5
.
S4B83
1988
6. Formale Methoden und kleine Systeme :
پدیدآورنده : Dirk Siefkes.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formalisierung.,Informatik.,Kleines System.
7. Formale Methoden und kleine Systeme :
پدیدآورنده : Dirk Siefkes.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formalisierung.,Informatik.,Kleines System.
8. GI-4. Jahrestagung, Berlin, 9-12. Oktober 1974
پدیدآورنده : Herausgegeben in Auftrag der GI von D. Siefkes
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Electronic data processing,Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
26
9. Sozialgeschichte der Informatik :
پدیدآورنده : Dirk Siefkes (Hrsg.) [und weitere].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Economics.,Economics/Management Science, general.,Economics/Management Science.
رده :
T14
.
5
D575
1998
10. The collected works of J. Richard Buchi
پدیدآورنده : Buchi, J. Richard, 4291-4891
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Machine theory,، Logic, Symbolic and mathematical,، Buchi, J. Richard, 4291-4891
رده :
QA
267
.
B79
1990
11. The monadic second order theory of all countable ordinals
پدیدآورنده : Buchi, J. Richard
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Gنdel's theorem,، Model theory
رده :
QA
3
.
L28
no
.
328
12. The monadic second order theory of all countable ordinals
پدیدآورنده : Buchi, J. Richard.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Godel's theorem,، Model theory
رده :
QA
1
.
L4
v
.
328
13. The monadic second order theory of all countable ordinals
پدیدآورنده : Buchi, J. Richard
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model theory
رده :
QA
9
.
65
.
B8
1973
14. The monadic second order theory of all countable ordinals
پدیدآورنده : Buchi, J. Richard
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Godel's theorem,Model theory
رده :
QA
3
.
L28
no
.
328
15. The monadic second order theory of all countable ordinals
پدیدآورنده : Buchi, J. Richard, 4291-4891
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Godel's theorem,، Model theory
رده :
QA
3
.
L28
Vol
.
328
